Skip to content

docs(glossary): split Aliases into Tool Aliases and Shell Aliases#9983

Merged
jdx merged 4 commits into
jdx:mainfrom
thernstig:main
May 29, 2026
Merged

docs(glossary): split Aliases into Tool Aliases and Shell Aliases#9983
jdx merged 4 commits into
jdx:mainfrom
thernstig:main

Conversation

@thernstig

Copy link
Copy Markdown
Contributor

The single "Aliases" entry conflated two distinct concepts. Split into "Tool Aliases" (backend/version aliases via [tool_alias] / mise tool-alias) and "Shell Aliases" (directory-scoped shell command aliases via [shell_alias] / mise shell-alias), reflecting the current CLI and config structure.

The single "Aliases" entry conflated two distinct concepts.
Split into "Tool Aliases" (backend/version aliases via
[tool_alias] / mise tool-alias) and "Shell Aliases"
(directory-scoped shell command aliases via [shell_alias] /
mise shell-alias), reflecting the current CLI and config
structure.
@greptile-apps

greptile-apps Bot commented May 19, 2026

Copy link
Copy Markdown
Contributor

Greptile Summary

This PR improves the glossary by splitting the formerly unified "Aliases" entry into two distinct concepts that were being conflated.

  • Tool Aliases entry now accurately describes both backend aliasing and version aliasing via [tool_alias] / mise tool-alias, matching the content in docs/dev-tools/aliases.md.
  • Shell Aliases entry now covers directory-scoped shell command aliases via [shell_alias] / mise shell-alias, consistent with docs/shell-aliases.md.

Confidence Score: 5/5

Documentation-only change with no code impact; safe to merge.

The change is limited to the glossary and accurately reflects the CLI commands (mise tool-alias, mise shell-alias) and config sections ([tool_alias], [shell_alias]) that exist in the codebase. The descriptions align with the canonical docs they link to.

No files require special attention.

Important Files Changed

Filename Overview
docs/glossary.md Splits the single "Aliases" glossary entry into "Tool Aliases" and "Shell Aliases" with accurate descriptions referencing the correct CLI commands and config sections.

Reviews (5): Last reviewed commit: "Merge branch 'main' into main" | Re-trigger Greptile

Comment thread docs/glossary.md Outdated

@gemini-code-assist gemini-code-assist Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Code Review

This pull request updates the glossary in docs/glossary.md by expanding the definition of 'Tool Aliases' to include backend and version aliases, and adding a new entry for 'Shell Aliases'. The reviewer suggested several improvements for consistency with other glossary entries, including formatting examples with backticks and standardizing the phrasing for how aliases are managed.

Comment thread docs/glossary.md
Comment thread docs/glossary.md Outdated
thernstig and others added 2 commits May 19, 2026 12:53
Co-authored-by: greptile-apps[bot] <165735046+greptile-apps[bot]@users.noreply.github.com>
Clarify the description of shell aliases in the glossary.
@github-actions

Copy link
Copy Markdown

This PR has had failing checks for more than 7 days. Feel free to reopen or create a new PR if you'd like to continue working on this.

@github-actions github-actions Bot closed this May 27, 2026
@thernstig

Copy link
Copy Markdown
Contributor Author

@risu729 I believe this fix was ok?

@risu729

risu729 commented May 27, 2026

Copy link
Copy Markdown
Contributor

@thernstig yea I think so

@thernstig

Copy link
Copy Markdown
Contributor Author

@risu729 open it again and merge then? 😆

@risu729

risu729 commented May 27, 2026

Copy link
Copy Markdown
Contributor

@thernstig I can't. Idk if jdx can, as I don't understand how the PR reopen permissions work. I think it's easier to just recreate another PR.

@jdx jdx reopened this May 27, 2026
@thernstig

Copy link
Copy Markdown
Contributor Author

@risu729 open 🤖

@thernstig

Copy link
Copy Markdown
Contributor Author

@risu729 ready to merge 😃

@risu729

risu729 commented May 29, 2026

Copy link
Copy Markdown
Contributor

I can't. I don't have any permissions for this repo.

@thernstig

Copy link
Copy Markdown
Contributor Author

Sorry, did not know.

@jdx jdx merged commit 3c1f984 into jdx:main May 29, 2026
33 checks passed
This was referenced May 29, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants